interactive proof system - Spanish English Dictionary